-
1 Пролог
( язык программирования) Prolog -
2 PROLOG
-
3 PROLOG
сущ.комп. язык программирования Пролог (объектно-ориентированный язык программирования, ориентированный на разработку баз знаний, экспертных систем, систем искусственного интеллекта) -
4 Prolog
сущ.комп. язык программирования Пролог (объектно-ориентированный язык программирования, ориентированный на разработку баз знаний, экспертных систем, систем искусственного интеллекта) -
5 Prolog
декларативный язык программирования для задач искусственного интеллекта, обработки естественных языков и др. Его разработали в 1971 - 1972 гг. Алэн Колмероэ (Alain Colmerauer) и Филипп Рассель (Philippe Roussel) в университете в Лумини (г. Марсель). В дальнейшем Пролог развивали различные коллективы, среди которых следует выделить группу Эдинбургского университета. Название происходит от "программирование в терминах логики" (Programmation en Logique). Первая реализация - Prolog 10 (Дэвид Уоррен и др.) на PDP-10. Отсюда термин - эдинбургский синтаксис, или синтаксис DEC10. В настоящее время имеется обширное семейство языков логического программирования, построенных на базе языка Пролог, например Prolog-2, Prolog++, Prolog-Linda, Prolog-III, Turbo Prolog, PDS Prolog, SWI-Prolog, Visual Prolog и др.Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Prolog
-
6 programming in logic
пролог
Логический язык программирования, широко используемый в системах искусственного интеллекта, а также в качестве основного языка в японских ЭВМ пятого поколения.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > programming in logic
-
7 Prolog
пролог
Логический язык программирования, широко используемый в системах искусственного интеллекта, а также в качестве основного языка в японских ЭВМ пятого поколения.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Prolog
-
8 Prolog
-
9 Prolog
-
10 5GL
(Fifth Generation [programming] Language) язык [программирования] 5-го поколения, язык уровня 5GLязык программирования сверхвысокого уровня, предусматривающий безалгоритмическое решение задач на базе заданных фактов, правил, свойств и ограничений; в эту категорию входят большинство языков логического программирования, некоторые декларативные языки, языки ИИ, например Пролог и др.Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > 5GL
-
11 prolog
m вчт. -
12 Prolog
-
13 prolog
сущ. -
14 Prolog·o
инф. Пролог (язык программирования).
См. также в других словарях:
Язык программирования Пролог — язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. По английски: PROLOG language См. также: Декларативные языки программирования… … Финансовый словарь
ПРОЛОГ (язык программирования) — ПРОЛОГ (PROLOG, от PROgramming in LOGic, программирование в логике), язык программирования (см. ЯЗЫКИ ПРОГРАММИРОВАНИЯ) высокого уровня декларативного типа, предназначен для разработки систем и программ искусственного интеллекта; относится к… … Энциклопедический словарь
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Язык программирования — Язык программирования формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия,… … Википедия
Язык программирования Си — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
Язык программирования C — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
Язык программирования Рубин — Ruby Семантика: мультипарадигмальный Тип исполнения: интерпретатор Появился в: 1995 г. Автор(ы): Юкихиро Мацумото Последняя версия: 1.9.1 … Википедия
Язык программирования Java — Java Класс языка: объектно ориентированный, структурный, императивный Появился в: 1995 г. Автор(ы): Sun Microsystems Последняя версия: Java Standard Edition 6 (1.6.14) Т … Википедия
Язык программирования Dylan — Dylan динамический объектно ориентированный язык программирования, нацеленный на быструю разработку программ, разработанный, прежде всего, усилиями множественное наследование, полиморфизм и многие другие функции. Язык общего назначения,… … Википедия
Occam (язык программирования) — Язык программирования Оккам (англ. Occam) это процедурный язык параллельного программирования высокого уровня, разработанный в начале 80 х годов группой учёных из Оксфорда под руководством Дэвида Мэя (англ. David May) по заданию английской… … Википедия
Oz (язык программирования) — Oz Семантика: функциональный, процедурный, декларативный, объектно ориентированный, вычисления с ограничениями, Н модели, параллельные вычисления Тип исполнения: компилируемый Появился в: 1991 Автор(ы): Gert Smolka his students Релиз … Википедия